3.4.17 \(\int \frac {\sqrt {e \cos (c+d x)}}{(a+a \sin (c+d x))^{5/2}} \, dx\) [317]

Optimal. Leaf size=76 \[ -\frac {2 (e \cos (c+d x))^{3/2}}{7 d e (a+a \sin (c+d x))^{5/2}}-\frac {4 (e \cos (c+d x))^{3/2}}{21 a d e (a+a \sin (c+d x))^{3/2}} \]

[Out]

-2/7*(e*cos(d*x+c))^(3/2)/d/e/(a+a*sin(d*x+c))^(5/2)-4/21*(e*cos(d*x+c))^(3/2)/a/d/e/(a+a*sin(d*x+c))^(3/2)

________________________________________________________________________________________

Rubi [A]
time = 0.09, antiderivative size = 76, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.074, Rules used = {2751, 2750} \begin {gather*} -\frac {4 (e \cos (c+d x))^{3/2}}{21 a d e (a \sin (c+d x)+a)^{3/2}}-\frac {2 (e \cos (c+d x))^{3/2}}{7 d e (a \sin (c+d x)+a)^{5/2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Sqrt[e*Cos[c + d*x]]/(a + a*Sin[c + d*x])^(5/2),x]

[Out]

(-2*(e*Cos[c + d*x])^(3/2))/(7*d*e*(a + a*Sin[c + d*x])^(5/2)) - (4*(e*Cos[c + d*x])^(3/2))/(21*a*d*e*(a + a*S
in[c + d*x])^(3/2))

Rule 2750

Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_), x_Symbol] :> Simp[b*(g*C
os[e + f*x])^(p + 1)*((a + b*Sin[e + f*x])^m/(a*f*g*m)), x] /; FreeQ[{a, b, e, f, g, m, p}, x] && EqQ[a^2 - b^
2, 0] && EqQ[Simplify[m + p + 1], 0] &&  !ILtQ[p, 0]

Rule 2751

Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_), x_Symbol] :> Simp[b*(g*C
os[e + f*x])^(p + 1)*((a + b*Sin[e + f*x])^m/(a*f*g*Simplify[2*m + p + 1])), x] + Dist[Simplify[m + p + 1]/(a*
Simplify[2*m + p + 1]), Int[(g*Cos[e + f*x])^p*(a + b*Sin[e + f*x])^(m + 1), x], x] /; FreeQ[{a, b, e, f, g, m
, p}, x] && EqQ[a^2 - b^2, 0] && ILtQ[Simplify[m + p + 1], 0] && NeQ[2*m + p + 1, 0] &&  !IGtQ[m, 0]

Rubi steps

\begin {align*} \int \frac {\sqrt {e \cos (c+d x)}}{(a+a \sin (c+d x))^{5/2}} \, dx &=-\frac {2 (e \cos (c+d x))^{3/2}}{7 d e (a+a \sin (c+d x))^{5/2}}+\frac {2 \int \frac {\sqrt {e \cos (c+d x)}}{(a+a \sin (c+d x))^{3/2}} \, dx}{7 a}\\ &=-\frac {2 (e \cos (c+d x))^{3/2}}{7 d e (a+a \sin (c+d x))^{5/2}}-\frac {4 (e \cos (c+d x))^{3/2}}{21 a d e (a+a \sin (c+d x))^{3/2}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.10, size = 59, normalized size = 0.78 \begin {gather*} -\frac {2 (e \cos (c+d x))^{3/2} \sqrt {a (1+\sin (c+d x))} (5+2 \sin (c+d x))}{21 a^3 d e (1+\sin (c+d x))^3} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[e*Cos[c + d*x]]/(a + a*Sin[c + d*x])^(5/2),x]

[Out]

(-2*(e*Cos[c + d*x])^(3/2)*Sqrt[a*(1 + Sin[c + d*x])]*(5 + 2*Sin[c + d*x]))/(21*a^3*d*e*(1 + Sin[c + d*x])^3)

________________________________________________________________________________________

Maple [A]
time = 0.18, size = 44, normalized size = 0.58

method result size
default \(-\frac {2 \left (2 \sin \left (d x +c \right )+5\right ) \cos \left (d x +c \right ) \sqrt {e \cos \left (d x +c \right )}}{21 d \left (a \left (1+\sin \left (d x +c \right )\right )\right )^{\frac {5}{2}}}\) \(44\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*cos(d*x+c))^(1/2)/(a+a*sin(d*x+c))^(5/2),x,method=_RETURNVERBOSE)

[Out]

-2/21/d*(2*sin(d*x+c)+5)*cos(d*x+c)*(e*cos(d*x+c))^(1/2)/(a*(1+sin(d*x+c)))^(5/2)

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 197 vs. \(2 (58) = 116\).
time = 0.54, size = 197, normalized size = 2.59 \begin {gather*} -\frac {2 \, {\left (5 \, \sqrt {a} + \frac {4 \, \sqrt {a} \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} - \frac {4 \, \sqrt {a} \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} - \frac {5 \, \sqrt {a} \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}}\right )} \sqrt {-\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + 1} {\left (\frac {\sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + 1\right )}^{2} e^{\frac {1}{2}}}{21 \, {\left (a^{3} + \frac {2 \, a^{3} \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {a^{3} \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}}\right )} d {\left (\frac {\sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + 1\right )}^{\frac {9}{2}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*cos(d*x+c))^(1/2)/(a+a*sin(d*x+c))^(5/2),x, algorithm="maxima")

[Out]

-2/21*(5*sqrt(a) + 4*sqrt(a)*sin(d*x + c)/(cos(d*x + c) + 1) - 4*sqrt(a)*sin(d*x + c)^3/(cos(d*x + c) + 1)^3 -
 5*sqrt(a)*sin(d*x + c)^4/(cos(d*x + c) + 1)^4)*sqrt(-sin(d*x + c)/(cos(d*x + c) + 1) + 1)*(sin(d*x + c)^2/(co
s(d*x + c) + 1)^2 + 1)^2*e^(1/2)/((a^3 + 2*a^3*sin(d*x + c)^2/(cos(d*x + c) + 1)^2 + a^3*sin(d*x + c)^4/(cos(d
*x + c) + 1)^4)*d*(sin(d*x + c)/(cos(d*x + c) + 1) + 1)^(9/2))

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 158 vs. \(2 (58) = 116\).
time = 0.35, size = 158, normalized size = 2.08 \begin {gather*} \frac {2 \, {\left (2 \, \cos \left (d x + c\right )^{2} e^{\frac {1}{2}} + 5 \, \cos \left (d x + c\right ) e^{\frac {1}{2}} + {\left (2 \, \cos \left (d x + c\right ) e^{\frac {1}{2}} - 3 \, e^{\frac {1}{2}}\right )} \sin \left (d x + c\right ) + 3 \, e^{\frac {1}{2}}\right )} \sqrt {a \sin \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )}}{21 \, {\left (a^{3} d \cos \left (d x + c\right )^{3} + 3 \, a^{3} d \cos \left (d x + c\right )^{2} - 2 \, a^{3} d \cos \left (d x + c\right ) - 4 \, a^{3} d + {\left (a^{3} d \cos \left (d x + c\right )^{2} - 2 \, a^{3} d \cos \left (d x + c\right ) - 4 \, a^{3} d\right )} \sin \left (d x + c\right )\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*cos(d*x+c))^(1/2)/(a+a*sin(d*x+c))^(5/2),x, algorithm="fricas")

[Out]

2/21*(2*cos(d*x + c)^2*e^(1/2) + 5*cos(d*x + c)*e^(1/2) + (2*cos(d*x + c)*e^(1/2) - 3*e^(1/2))*sin(d*x + c) +
3*e^(1/2))*sqrt(a*sin(d*x + c) + a)*sqrt(cos(d*x + c))/(a^3*d*cos(d*x + c)^3 + 3*a^3*d*cos(d*x + c)^2 - 2*a^3*
d*cos(d*x + c) - 4*a^3*d + (a^3*d*cos(d*x + c)^2 - 2*a^3*d*cos(d*x + c) - 4*a^3*d)*sin(d*x + c))

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {e \cos {\left (c + d x \right )}}}{\left (a \left (\sin {\left (c + d x \right )} + 1\right )\right )^{\frac {5}{2}}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*cos(d*x+c))**(1/2)/(a+a*sin(d*x+c))**(5/2),x)

[Out]

Integral(sqrt(e*cos(c + d*x))/(a*(sin(c + d*x) + 1))**(5/2), x)

________________________________________________________________________________________

Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*cos(d*x+c))^(1/2)/(a+a*sin(d*x+c))^(5/2),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

Mupad [B]
time = 7.05, size = 145, normalized size = 1.91 \begin {gather*} -\frac {8\,\sqrt {a\,\left (\sin \left (c+d\,x\right )+1\right )}\,\sqrt {-e\,\left (2\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1\right )}\,\left (-58\,{\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+18\,{\sin \left (\frac {3\,c}{2}+\frac {3\,d\,x}{2}\right )}^2+26\,\sin \left (2\,c+2\,d\,x\right )-\sin \left (4\,c+4\,d\,x\right )+20\right )}{21\,a^3\,d\,\left (240\,{\sin \left (c+d\,x\right )}^2+210\,\sin \left (c+d\,x\right )-20\,{\sin \left (2\,c+2\,d\,x\right )}^2-45\,\sin \left (3\,c+3\,d\,x\right )+\sin \left (5\,c+5\,d\,x\right )+16\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*cos(c + d*x))^(1/2)/(a + a*sin(c + d*x))^(5/2),x)

[Out]

-(8*(a*(sin(c + d*x) + 1))^(1/2)*(-e*(2*sin(c/2 + (d*x)/2)^2 - 1))^(1/2)*(26*sin(2*c + 2*d*x) - sin(4*c + 4*d*
x) - 58*sin(c/2 + (d*x)/2)^2 + 18*sin((3*c)/2 + (3*d*x)/2)^2 + 20))/(21*a^3*d*(210*sin(c + d*x) - 45*sin(3*c +
 3*d*x) + sin(5*c + 5*d*x) - 20*sin(2*c + 2*d*x)^2 + 240*sin(c + d*x)^2 + 16))

________________________________________________________________________________________